De Bruijn index - PDFSEARCH.IO - Document Search Engine

De Bruijn index
Results: 29

#	Item
21	INDEX TO THE NORTHERN MARINER/ L E MARIN DU NORD V O L U M E XIII[removed]ARTICLES Bradford, James C, John Paul Jones and Guerre de Razzia Add to Reading List Source URL: www.cnrs-scrn.org Language: English - Date: 2012-06-26 10:54:05 Yeates Douglas Hall Roger Sarty Jaap R. Bruijn MacMichael
22	SQL Server In-Memory OLTP Internals Overview for CTP1 SQL Server Technical Article Writer: Kalen Delaney Technical Reviewers: Kevin Liu, Jos de Bruijn, Kevin Farlee, Mike Zwilling, Sunil Agarwal, Craig Freedman, Mike Wei Add to Reading List Source URL: download.microsoft.com Language: English - Date: 2013-07-24 13:39:19 Computing Database management systems Cross-platform software Microsoft SQL Server Windows Server System TimesTen Database index SQL Oracle Database Relational database management systems Data management Software
23	Lambda Calculus Diogo Sousa Universidade Nova de Lisboa Faculdade de Ciˆ encias e Tecnologia Add to Reading List Source URL: orium.pw Language: English - Date: 2012-01-27 11:22:13 Applied mathematics Computability theory Combinatory logic Calculus De Bruijn index Simply typed lambda calculus Lambda calculus Theoretical computer science Mathematics
24	J Autom Reasoning DOI[removed]s10817[removed]y A Canonical Locally Named Representation of Binding Randy Pollack · Masahiko Sato · Wilmer Ricciotti Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-06-02 12:07:39 Predicate logic Computability theory Lambda calculus Theoretical computer science Function Free variables and bound variables De Bruijn index Combinatory logic Mathematics Mathematical analysis Mathematical logic
25	Corrections for W. Soergel: n-Cohomology of limits of discrete series, Represention Theory[removed]), pp[removed]In this article preceding Theorem 3.2 an equivalence of categories S = Sψ : ∼ Oψ → Oψ0 is cited from [ Add to Reading List Source URL: home.mathematik.uni-freiburg.de Language: English - Date: 2014-05-27 03:10:10 Group theory Representation theory of Lie groups Weight Spectral theory Representation theory De Bruijn index Spectral theory of ordinary differential equations Abstract algebra Lie algebras Algebra
26	Scrap your Nameplate (Functional Pearl) James Cheney Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2005-07-12 06:34:19 Type theory Lambda calculus Functional programming Data types Theoretical computer science Unification Generic programming Higher-order abstract syntax De Bruijn index Software engineering Mathematics Computing
27	Functional Pearl: I am not a Number—I am a Free Variable Conor McBride Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2010-09-28 13:09:54 Predicate logic Semantics Type theory Map De Bruijn index Free variables and bound variables Find Binding Closure Computing Software engineering Logic
28	PDF Document Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2012-09-10 15:06:31 Pseudorandomness Mathematical analysis Operator theory Ordinary differential equations Markov processes De Bruijn index Spectral theory of ordinary differential equations Spectral theory Mathematics Ehrenfeucht–Mycielski sequence
29	PDF Document Add to Reading List Source URL: homepages.ihug.co.nz Language: English - Date: 2003-07-30 18:33:02 Mathematics Computability theory Simply typed lambda calculus Spectral theory of ordinary differential equations De Bruijn index Lambda calculus Theoretical computer science Computer science